Systematic Comparison of Approaches to Ramiication Using Restricted Minimization of Change
نویسنده
چکیده
Most approaches to the ramiication problem are based on the principle of minimization of change. It turns out, however, that this principle can not be applied uniformly, and many modern approaches use a clas-siication of the uents whereby change is only minimized in some of the uents. The present article reviews these approaches and their underlying motivations. It also presents a uniied formal framework whereby it is possible to compare, between diierent approaches, the set of selected models in each of them as well as their range of correct applicability. Finally it discusses the applicability of the Katsuno-Mendelzon postulates for these approaches.
منابع مشابه
Assessments of Ramiication Methods That Use Static Domain Constraints 1 Topic and Approach 1.1 the Ramification Problem
The paper analyzes and compares methods for ramiication, or for update, which are based on minimization of change while respecting static domain constraints. The main results are: An underlying semantics for propagation oriented ramiication, called causal propagation semantics Comparative assessments of a number of previously proposed entailment methods for ramiication, in particular, methods b...
متن کاملReasoning about Actions and Change with Ramiication
The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise deenition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict i...
متن کاملTransition Cascade Semantics and Rst Assessments Results for Ramiication Preliminary Report
This article reports on assessment results for several approaches to the ramiication problem. Two types of assessments are reported: (1) Assessment of soundness for one minimization based and one causation-based method; (2) Relative range assessments for a number of minimization based methods. Assessment of soundness is based on an underlying semantics for ramiication. We propose, deene, and us...
متن کاملReasoning about Actions and Change with Ramification
The systematic approach to nonmonotonic logics of actions and change attempts to identify, for each proposed logic, what is its range of applicability relative to a precise deenition of intended models. The article describes the concepts and methods that are used in this approach, and examples of assessed range of applicability for a few of the previously proposed logics in the case of strict i...
متن کاملPrediction of Structural Changes in Gas Hydrate for Methane and Ethane Mixture by Using Tangent Plane Distance Minimization
Abstract: Â In this study, the change in the crystalline structure of gas hydrate was predicted for ternary mixture of methane-ethane-water. For this purpose, the tangent plane distance (TPD) minimization method was used. First, the calculations were performed for the binary mixtures of methane-water and ethane-water as the gas and liquid phases. The results show that for a binary mixture of th...
متن کامل